Protecting Cyber Physical Systems Using a Learned MAPE-K Model
نویسندگان
چکیده
منابع مشابه
Model Checking Cyber-Physical Systems using Particle Swarm Optimization
We present a novel approach to the problem of model checking cyber-physical systems. We transform the model checking problem to an optimization one by designing an objective function that measures how close a state is to a violation of a property. We use particle swarm optimization (PSO) to effectively search for a state that minimizes the objective function. Such states, if found, are counter-...
متن کاملStatistical Model Checking for Cyber-Physical Systems
Statistical Model Checking is useful in situations where it is either inconvenient or impossible to build a concise representation of the global transition relation. This happens frequently with cyberphysical systems: Two examples are verifying Stateflow-Simulink models and in reasoning about biochemical reactions in Systems Biology. The main problem with Statistical Model Checking is caused by...
متن کاملModel-Integrated Development of Cyber-Physical Systems
Cyber-physical systems represent a new class of systems that integrate physics with computation. Their correct design is frequently of great importance as they are applied in safetyor business-critical contexts. This paper introduces a model-integrated development approach that addresses the development needs of such systems through the pervasive use of models. A complete model-based view is pr...
متن کاملUsing Multicore Architectures in Cyber-Physical Systems
Introduction The demand for higher performance computing platforms has dramatically increased during the last decade due to the continuous feature enhancement process. For instance, in automotive systems new safety features like `night view assist’ and `automatic emergency breaking’ require the fusion of sensor data, video processing and real-time warnings when an obstacle is detected on the ro...
متن کاملUsing Learned Models for the Root Cause Analysis of Cyber-Physical Production Systems
The diagnosis of Cyber-Physical Production Systems (CPPS) comprises two main steps: (i) The identification of anomalous system behavior und (ii) the deduction of the underlying root cause. While step (i) requires only models of the OKbehavior of the system, step (ii) requires models that can predict the system behavior in OK and especially in fault situations. Over the last years, the question ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2927037